The Communication Structure of Epistemic Communities* Kevin J.S. Zollman †‡ * †Department of Logic and Philosophy of Science, 3151 Social Science Plaza A, University of California, Irvine, CAEmail: kzo

Source URL: www.andrew.cmu.edu

The story of Walter Pitts: “The Man Who Tried to Redeem the World with Logic,” by Amanda Gefter http://nautil.us/issue/21/information/the-man-who-tried-to-redeem-the-world-with-logic History of neural networks: Dreyf

Source URL: redwood.berkeley.edu

• Image processing
• Perception
• Cognitive science
• Neuroscience
• Nervous system
• Computational neuroscience
• Walter Pitts
• Artificial neural network
• Scene statistics
• Dreyfus
• Simoncelli
• Scene

Belief Revision Theory Structuralist Theory of Science Default Logic

Source URL: fitelson.org

Probability, Indeterminism and Biological Processes Charlotte Werndl Department of Philosophy, Logic and Scientific Method London School of Economics and Political Science Houghton Street London WC2A 2AE, UK

Source URL: charlottewerndl.net

CSE 552 BAN logic Steve Gribble Department of Computer Science & Engineering University of Washington

Source URL: courses.cs.washington.edu

On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

Source URL: www-vvps09.imag.fr

• Logic
• Mathematical logic
• Theoretical computer science
• Temporal logic
• Model checkers
• Linear temporal logic
• NuSMV
• Model checking
• Concurrency
• Finite model theory
• Planning Domain Definition Language
• SMV

Curriculum Vitae BRIAN SKYRMS Distinguished Professor of Logic and Philosophy of Science & Economics University of California, Irvine Professor of Philosophy Stanford University

Source URL: www.socsci.uci.edu

The logic of Babel: Causal reasoning from conflicting sources Matthew W. Easterday1, Vincent Aleven, Richard Scheines Human-Computer Interaction Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh PA, 1

Source URL: delta.northwestern.edu

• Philosophy of science
• Philosophy
• Academia
• Knowledge
• Causality
• Epistemology
• Diagram
• Obesity
• Causal reasoning
• Philosophy of artificial intelligence

Call for Nominations Editor-In-Chief ACM Transactions on Computational Logic The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publicatio

Source URL: tocl.acm.org

• Logic in computer science
• Computer scientists
• ACM Transactions on Computational Logic
• ACM SIGLOG
• Victor Vianu
• Computational logic
• Prakash Panangaden
• Association for Computing Machinery

Answer Set Programming’s Contributions to Classical Logic An analysis of ASP methodology Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, and Maurice Bruynooghe Department of Computer Science, K.U. Leuve

Source URL: people.cs.kuleuven.be